#ifndef OS_TICK_H
#define OS_TICK_H

void OS_TickListInit(void);
void OS_TickListInset(OS_TCB *p_tcb,CPU_UINT32 time,OS_ERR *p_err);
void  OS_TickListRemove(OS_TCB *p_tcb);
void OS_TickListUpdate(void);
void OSTimeDly(CPU_UINT32 times);


#endif



